constructible universe

См. также в других словарях:

• Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… …   Wikipedia

• Constructible number — For numbers constructible in the sense of set theory, see Constructible universe. A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed… …   Wikipedia

• Constructible set (topology) — For a Gödel constructive set, see constructible universe. In topology, a constructible set in a noetherian topological space is a finite union of locally closed sets. (A set is locally closed if it is the intersection of an open set and closed… …   Wikipedia

• Universe (mathematics) — In mathematical logic, the universe of a structure (or model ) is its domain.In mathematics, and particularly in applications to set theory and the foundations of mathematics, a universe or universal class (or if a set, universal set – not to be… …   Wikipedia

• Constructible set — In mathematics, constructible set may refer to either: a notion in Gödel s constructible universe. a union of locally closed set in a topological space. See constructible set (topology). This disambiguation page lists articles associated with the …   Wikipedia

• Grothendieck universe — In mathematics, a Grothendieck universe is a set U with the following properties:# If x is an element of U and if y is an element of x , then y is also an element of U . ( U is a transitive set.) # If x and y are both elements of U , then { x , y …   Wikipedia

• Von Neumann universe — In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is… …   Wikipedia

• Pirates Constructible Strategy Game — Infobox Game subject name=Pirates Constructible Strategy Game image link= image caption=Pirates of the Cursed Seas is a tabletop strategy game depicting naval battles and hunt for treasure in the Caribbean in the 17th century. players= 2 ndash;?… …   Wikipedia

• Zero sharp — In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is defined to be a particular real number satisfying certain conditions, namely, to be the real number that codes in the canonical way the Gödel numbers of the true formulas… …   Wikipedia

• Absoluteness (mathematical logic) — In mathematical logic, a formula is said to be absolute if it has the same truth value in each of some class of structures (also called models). Theorems about absoluteness typically show that each of a large syntactic class of formulas is… …   Wikipedia

• Axiome De Constructibilité — L axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente l univers de von Neumann et L l univers… …   Wikipédia en Français